Kotlin 2.3.0 现已发布!又有什么好东西?
大家吼哇,这次轮到 Kotlin 2.3.0 登场啦! 本次更新内容可以在 JetBrains 官方的 What's new in Kotlin 2.3.0 查阅, 我照例挑自己最感兴趣的改动聊聊。
一句话总结:Java 25 终于支持,特性体验逐渐舒适。实用功能层出不穷,小伙伴们赶快更新~
注意!这次依旧是「我个人 pick」的更新摘要,覆盖不了全部改动;对其他领域感兴趣、但是我没提到的伙伴可以继续深入官方文档喔。
文中示例如无特殊说明均来自或改写自官方日志。
语言特性
一如既往先看语言层面,首先映入眼帘的是对一部分实验特性的转正,然后是一批新晋实验特性,最后是对 Java 25 的支持。
一如既往的方阵阵营。
嵌套类型别名 & when 数据流穷举转正稳定
之前在 2.2.x 里加入的「嵌套 typealias 支持」(Support for nested type aliases)
和「基于数据流的 when 穷举检查」(Data-flow-based exhaustiveness checks for when expressions) 转正咯。
现在写多层 typealias 不会再有警告,
when 也会结合 smart cast 和 sealed 的上下文做更聪明的穷举判断了。
默认启用 suspend 解析 & 函数表达式里 return
注意:这个更新是在
2.3.0的某个 EAP 版本中描述的,但是在 2.3.0 正式版更新中没有描述,因此它可能被移除了。
Kotlin 2.3.0 默认启用了两项之前需要 -language-version 2.3 的特性:
- 传
lambda给既有suspend又有非suspend重载时, 不再需要手动强转,直接写suspend { }就行。 - 函数表达式里允许
return,只需显式标注返回类型。之前写fun foo() = return 42会报错,现在没事啦。
默认启用 body 中的 return 表达式特性
Kotlin 2.3.0 默认启用了之前 2.2.20 中更新的一个需要 -language-version 2.3 的特性:
在 body 表达式的局部使用 return。比如说:
fun getDisplayNameOrDefault(userId: String?): String = getDisplayName(userId ?: return "default")
未使用返回值检查器
新增了一个 -Xreturn-value-checker ,可以提示你「调用了有意义的返回值却没用」。
可以用来提前发现那种「写了一大串表达式结果却丢了」的 bug。
例如:
fun formatGreeting(name: String): String {
if (name.isBlank()) return "Hello, anonymous user!"
if (!name.contains(' ')) {
// 检查器会警告这个结果被忽略了
"Hello, " + name.replaceFirstChar(Char::titlecase) + "!"
}
val (first, last) = name.split(' ')
return "Hello, $first! Or should I call you Dr. $last?"
}
上面这段里,if 分支中构造了一段字符串却没有返回或赋值,检查器就会给出「结果被忽略」的警告。
默认情况下,这个检查器只对被标记了 @MustUseReturnValues 的作用域生效。
想要以 check 模式启用的话,可以在 build.gradle.kts 中这样写:
kotlin {
compilerOptions {
freeCompilerArgs.add("-Xreturn-value-checker=check")
}
}
然后通过注解来声明「这里的返回值必须被使用」。可以标记整个文件:
// 标记整个文件:文件里的函数/类返回值若被忽略则会被检查器提示
@file:MustUseReturnValues
package my.project
fun someFunction(): String
也可以只标记某个类:
// 标记整个类:类中所有函数的返回值如果被忽略都会被检查器提示
@MustUseReturnValues
class Greeter {
fun greet(name: String): String = "Hello, $name"
}
fun someFunction(): Int = ...
如果你希望对整个项目的所有返回值都进行检查,可以开启 full 模式:
kotlin {
compilerOptions {
freeCompilerArgs.add("-Xreturn-value-checker=full")
}
}
在这个模式下,相当于所有编译结果都隐式带上了 @MustUseReturnValues 标记。
有些函数的返回值被忽略是很正常的,比如 MutableList.add,这类就可以用 @IgnorableReturnValue 标记掉:
@IgnorableReturnValue
fun <T> MutableList<T>.addAndIgnoreResult(element: T): Boolean {
return add(element)
}
如果只是某一处调用想压制警告,又不想在函数签名上动刀,可以把结果赋值给下划线变量:
// 这是一个「不允许忽略返回值」的函数
fun computeValue(): Int = 42
fun main() {
// 这里会有警告:返回值被忽略
computeValue()
// 这里不会有警告:显式把返回值丢给一个特殊的 unnamed 变量
val _ = computeValue()
}
对于我这种偶尔写 DSL 忘记 return 的人来说,简直就是妥妥的保命符一张呀。
显式后备字段
还记不记得之前的版本想要写一个有「后备字段」的属性要怎么写?
private val _city = MutableStateFlow<String>("")
val city: StateFlow<String> get() = _city
fun updateCity(newCity: String) {
_city.value = newCity
}
而现在,可以不用这么麻烦了!
val city: StateFlow<String>
field = MutableStateFlow("")
fun updateCity(newCity: String) {
// Smart casting works automatically
city.value = newCity
}
使用 field = ... 的方式可以直接指定一个真正的后备字段,方便实用!
这个特性是试验性的,要开启它,添加编译器参数 -Xexplicit-backing-fields :
kotlin {
compilerOptions {
freeCompilerArgs.add("-Xexplicit-backing-fields")
}
}
上下文敏感解析继续打磨
目前还在 Experimental,这次限制了「只把密封类和当前类型的外部父类」加入上下文,从而减少盲目扩散。 如果你在类型运算里引进了容易撞名的类,编译器会给出新 warning,提示这段解析已经因为上下文分支而不再确定。
Kotlin/JVM:面向 Java 25
编译器现在可以输出 Java 25 的字节码了。对想第一时间尝鲜新 JDK API 的同学只需把 target 设到 25 就好, Gradle/IDE 也都打通了。
好耶!支持输出 Java 25 咯~
Kotlin/Native
一些 Kotlin/Native 的更新喔~ 我对 K/N 并不是非常熟悉,如果这部分有你非常感兴趣的内容,不妨也去看看官方的详细内容, 以防有什么遗漏~
Swift Export 更自然
虽然不太懂移动端开发,不过 Swift export 这轮带来了一些看似(?)很不错的点:
- 原生
enum class终于会被映射成 Swift 的enum,不用再接受那些 class 模板。 - Kotlin 的
vararg直接翻译成 Swift 的...变参,用 Swift 写调用端的时候自然顺滑。
比如官方文档里给出了这样一组 Kotlin / Swift 映射:
// Kotlin 端
enum class Color(val rgb: Int) {
RED(0xFF0000),
GREEN(0x00FF00),
BLUE(0x0000FF)
}
val color = Color.RED
// Swift 端
public enum Color: Swift.CaseIterable, Swift.LosslessStringConvertible, Swift.RawRepresentable {
case RED, GREEN, BLUE
var rgb: Int { get }
}
vararg 也会被翻译成 Swift 里的变长参数:
// Kotlin 端
fun log(vararg messages: String)
// Swift 端
public func log(messages: Swift.String...)
要注意的是泛型
vararg还没支持,但至少常见日志函数、多参数工具函数都没什么影响。
C 和 Objective-C 库导入进入 Beta
虽说我对 Kotlin/Native 不是非常熟悉,但是我知道 K/N 将 iOS 的开发放在首位,也一直在跟 Swift/Objective-C 进行搏斗、 改进它们之间的互调用与兼容性体验 。 而这次,对 Swift/Objective-C 和 C 的库导入功能进入了 Beta 阶段,也算是一个阶段性突破了~
不过当然,这部分功能仍然处于实验性阶段,仍然存在一些限制、以及需要标记 @ExperimentalForeignApi。
但终归是一次进步,不是吗?
Objective-C 头文件中块类型的默认显式参数名
Kotlin 函数类型中的显式参数名现在是 Objective-C 头文件导出的默认设置,改进了 Xcode 中的自动完成体验。 嗯... 也是对 Objective-C 的互调用与兼容性体验的一个内容。
Native 发布任务构建速度提升
这个则是对 K/N 整体的开发体验的提升。 官方提到:
根据基准测试,发布构建可以快高达 40%,具体取决于项目大小。这些改进在针对 iOS 的 Kotlin Multiplatform 项目中最为明显。
Apple 目标支持的变更
- iOS/tvOS 最低版本从 12.0 提升到 14.0
- watchOS 最低版本从 5.0 提升到 7.0
macosX64、iosX64、tvosX64、watchosX64被降级到支持层级 3- 计划在 Kotlin 2.4.0 中移除 x86_64 Apple 目标支持
时代在变迁、社会在进步。不过看到这些 X64 的平台被移到 Tier 3 还是不禁感叹:
TMD 我什么时候才能有钱把我这个英特尔芯片的 Mac 给换了!
Kotlin/Wasm
Kotlin 2.3.0 默认为 Kotlin/Wasm 目标启用完全限定名,为 wasmWasi 目标启用新的异常处理提案,
并引入 Latin-1 字符的紧凑存储。
名字/异常更靠谱
KClass.qualifiedName在 Wasm 目标上默认可用了,之前得手动开flag,而现在免配置了,也不会增大二进制。wasmWasi目标改用新版异常处理提案,和市面上主流 VM 的实现保持一致;wasmJs还停留在 legacy 版本, 有需要可以自己加-Xwasm-use-new-exception-proposal。
Latin-1 字符的紧凑存储
以前,Kotlin/Wasm 按原样存储字符串字面量数据,这意味着每个字符都 以 UTF-16 编码。 这对于仅包含或主要包含 Latin-1 字符的文本不是最优解。
从 Kotlin 2.3.0 开始,Kotlin/Wasm 编译器可以以 UTF-8 格式存储仅包含 Latin-1 字符的字符串字面量了。
这种优化显著减少了元数据,官方数据表示这个优化:
- Wasm 二进制文件最多缩小 13%(与未优化版本相比)
- 即使启用完全限定名,仍可缩小 8%
此功能默认启用,更新版本即可享受~
有一说一,K/Wasm 还有很多可以打磨的地方。继续加油!
Kotlin/JS:更少样板的互操作
更少样板的互操作优化!
直接导出 suspend
@JsExport 终于不再排斥 suspend 了,只需额外添加一个编译器参数:
kotlin {
compilerOptions {
freeCompilerArgs.add("-Xenable-suspend-function-exporting")
}
}
之后 Kotlin 的 suspend 会在 JS/TS 侧自动表现成 async/Promise,子类覆盖也照样写 async。
我去,史诗级更新!但是似乎反而让我的编译器插件 kotlin-suspend-transform-compiler-plugin 的作用变小了... 欸?
启用之后,被 @JsExport 标记的 Kotlin suspend 函数就可以直接被 JS/TS 端当作 async 函数来用,例如:
@JsExport
open class Foo {
suspend fun foo() = "Foo"
}
class Bar extends Foo {
override async foo(): Promise<string> {
return "Bar"
}
}
LongArray 映射到 BigInt64Array
给 JS Runtime 的 LongArray 现在会变成原生的 BigInt64Array,和需要 typed array 的 Web API 完全对接,
也能更轻松地把 Kotlin 模块暴露给外部。
使用编译器参数 -Xes-long-as-bigint 启用它:
kotlin {
js {
// ...
compilerOptions {
freeCompilerArgs.add("-Xes-long-as-bigint")
}
}
}
在那之前,Kotlin 会将其映射为
Array<bigint>。
跨 JS 模块系统的统一伴生对象访问
以前,当使用 @JsExport 将带有伴生对象的 Kotlin 接口导出到 JavaScript/TypeScript 时,
在 TypeScript 中使用该接口的方式会因模块系统(ES 模块或其他)而异。
例如:
@JsExport
interface Foo {
companion object {
fun bar() = "OK"
}
}
调用的时候:
// 适用于 CommonJS、AMD、UMD 和无模块
Foo.bar()
// 适用于 ES 模块
Foo.getInstance().bar()
而现在,Kotlin 统一了所有 JavaScript 模块系统的伴生对象导出。 在 2.3.0 之后,对于每个模块系统(ES 模块、CommonJS、AMD、UMD、无模块),接口内的伴生对象总是以相同的方式访问(就像类中的伴生对象一样):
// 适用于所有模块系统
Foo.Companion.bar()
这个改进还顺便修复了集合类型互操作性。 比如集合工厂函数必须根据模块系统以不同方式访问:
// 适用于 CommonJS、AMD、UMD 和无模块
KtList.fromJsArray([1, 2, 3])
// 适用于 ES 模块
KtList.getInstance().fromJsArray([1, 2, 3])
现在也改过来啦:
KtList.fromJsArray([1, 2, 3])
此功能默认启用,更新版本即可享受~
支持带有伴生对象的接口中的 @JsStatic 注解
之前的版本中 @JsStatic 注解不允许在导出的带有伴生对象的接口内使用。
例如,以下代码会产生错误,因为只有类伴生对象的成员才能用 @JsStatic 注解:
@JsExport
interface Foo {
companion object {
@JsStatic // 错误
fun bar() = "OK"
}
}
这种情况下你就不得不删除 @JsStatic 并用下述方式从 JS 访问伴生对象:
Foo.Companion.bar()
现在,带有伴生对象的接口支持 @JsStatic 注解了。
你现在可以在此类伴生对象上使用此注解,并直接从 JS 调用函数,就像对 class 那样:
Foo.bar()
此功能默认启用,更新版本即可享受~